perm filename DIF.IMP[DRW,LCS] blob sn#723541 filedate 1983-08-21 generic text, type T, neo UTF8
→⊃	∀0↔≥W@∩-Vλ3R-U91@⊂πα␈qλλπ`βλ@__0000`0_↓@`εβ0_πxp?|0,!`@}D"↓@∞∨↓@εβ↓@εβ↓@εβ∂xc_⊂pε@α⊃β@pε`↓Xε`↓X0β0β∨xεε__εε0βx≡_`zCAOxεα}<_0ε_0ε_0ε_0ε_0β≤π|_`sCAOx	αco→L_0`_0`ε0?0∂x∨p∞`__ε`_∞≤∂@_`\CA/pλDβ`→@_`0_`0_`0_0pε<∂0_``__1@π`c↔p¬␈b⊃∂@∞≤00_ε`__ε00π8∨``__ε`__ε00ε_∂@_`YCA?xλDβp_`000_β@βp``__ε`__pβpc↔ p↓>A@X`0_c_@p¬␈b⊃␈00`00ε0_ε0_ε0_ε000`0␈_`dCA/pλD∨|ε↓@ε↓@ε↓@ε↓@ε↓@ε↓@ε↓@ε∨|c_`pεα⊃␈|εβ_ε_ε_`ε_∨`ε__`ε_ε_ε}_`Wβ@/P↓8c~pεα⊃␈pεε_εβ_εβ_εε∨pε_ε_ε_ε}_`pCA?pεαg@3_0a@0π@π01@_6aX_v>p_`rCA∨pεαc`9@0``__␈`_`_0`ε0∂_`ZCA?xλD∂|?@00∂p8`_ε`__ε`_8`βpc∃Pp¬␈` H␈x∨}c∃⊂pβ␈BQ⊂`_ε↓@εβ↓@0β↓@`0β↓A@`εεεε`1@
⊂πβ∨qλλ?@ε_@_0ε`__ε`_0ε_@∨@ε__0ελ@_0ελ@_6ελX<≤05a`h∧"∞8≤⊂B∧⊂λ⊂Bα_λ	$α(⊂	$α(⊂	$α(⊂	$↓ Pε_↓@`ε_↓@`1@ πα␈qλλp8@↓ph@β0↓H@ε0βλ@0ελ@_0∂xp0λ@0λ@↓|06a`0⎇¬"/`}0_`0_`0_`0_`0∨O`c∃@pα?Pλ_εε`1@`πβ ↓λλ?βββββββββ?␈00a`X␈D"x0ε<βp_≤ε00000ε0__β`ε0x1@
_πα␈qλλπlπλp_00∞≤πpπp_`≤0008_∂λ@7`07!`0␈¬"/`}β↓@`εβ↓@`εβ↓@`εβ↓@`εβ∨O`c≥`pε?a@X␈@π__0ε_0ε_0ε_0ε_0∨␈c≤@pε?b⊃↓p00βl→p≤`0_`0_`0_0pε<∂<_`bCA`λD∨␈@_εε↓@_ε_ε__`πx_`ε__ε_βε`_β∨␈`c⊗p¬␈b⊃∂@ε__`00_ε`__ε`__ε`__ε00_`ε_∂@_`xβA?x	α␈p≤`π__εε__εε__εε≤0π_∨@ε_ε_ε}_`yCA∨pεαgx1`__``≡?βp↓`__``≤0␈_`UβA∨pεβA@ε→_d`≥8∨π`u`→_∧↓@ε_`tCA/pλD↓@ε}↓@ε↓@ε↓@ε↓@ε↓@ε∨|c≥@p¬?B⊃}↓@ε↓@ε↓@ε↓@ε↓@ε↓@ε↓@ε↓@␈p_`WCA?x
D@ε_∞0≤`8↓@pβ↓`εβ@π_∞0≤`_c→pp¬␈b⊃∨``__ε`__ε`__ε`__ε`__ε`__ε`_∨`_`gβA?xλD≡≡80∂<0∂60
L60l30l30<1p<0p≡≤c_pp¬␈b⊃πpβ<_p≤00_`_`_>`0_00≤_pβ≤πp_`SC@OXβ∧π_c→Ppε?b⊃p≤ε0_

((

((	∩$H	∩$H	∩#λλb#λλbq≤_`aβAPλD∨|__εβ_εβ_εε∨pε≡_ε↓@_εε↓@_εεβ_≤∨|c≠⊂pε@α⊃x≡εβ__βε0↓Lβ`x↓@0↓@0↓@0↓@0β`_`jβA/pλD∨|f0→Lε↓@ε↓@ε↓@ε↓@ε↓@ε↓@επpc~Ppε@α⊃x≡β0β0β0β0β0β0εε__βπ`_`↑βA∨pεβ@_β`↓p∞∂x≡<β@π@x`_`←βA∨pεβXx∂∞↓pβ`xπ@β@<≡`_`↑CA?xβB␈}␈x␈x∨}c≠ p¬␈b⊃?x00_`0↓@`ε↓@β_εε0_ε␈x_`Tβ@␈X
D@``ε00_`0_0_ββl02a`X␈D"∂λp_0ελ@_`ε0→@ε`∨πp≥@ε0_`ε__0ελ@__∂λp1@
0πβ ↓λλ<∂ε_εβ0β0ε↓@`ε_↓@`β_h@β0h@↓p8↓`0-A`X␈D"x@∞_β`__ε_
x<0∞`00000ε`0↓x1@@πα␈qλλ<<ε`__ε`__ε`__ε`∨xε`__ε`__ε`__ε`<<06↓`h∧"∂<β0ε_↓@`β0h@↓`_↓`h@β0↓@`ε_β0∂<1@
Xπα␈pHε↓@0↓@∂xp?|0↓@0↓@0-a`X␈D"πxp?x`00λ@`_↓@0↓@`β`ε↓@ε↓@1@Pπα?Qλλπp0↓@0↓@0↓@0↓@0↓@0↓@01@ε`∞04!``␈Eαβx@__0000000000p06l
X0≤xβxXn_p80/a`H␈∧"βp_`λ@00λ@`pε↓@ε↓@ε↓@ε↓@1@
⊂π↓␈PHλ;]npw;]npw;Z]⊂β:⊂3`≤ A80⊂εtx⊂(n⊂β0∩0p0 ]`?}A↓⊂#⊂_`(↔(3`&∪H≤p$⊂A∞'#_→0`7("∩(bpaA↓Sλ_0`⊗λ`$nb⊂≤_z &∩H@Q
$λ+KHc -Q
%8⊗∪λ5_.`,⊗p2 &"H@Q
$λ+KHc -Q'β_⊗∪λ5_.`E(⊂≤&#λ⊗Nε8λ_∞'#⊂~`E(⊂8_,v(9`&∩`_qλλa}S⊂∀`JH⊂_M⊂% A∀HTλ"
ε∩`~KλTp"∂&∪(∀ReDP!K	%_⊗∩K-λAXS⊂∀`JH⊂!`*$( Q⊂∀H' (T $U⊂∀0$SλXλ'QP∀_'Sj$ )KP!`A∩eHλ,⊂∃H⊗ +(⊂∃ E∧X@R*8λ!SjTp* )e(&PEbHbLE≤_b)ch'
f≤(→
80λDRK#h%⊗E#λ_εβ_εβbLE_⊂* H8λ%⊗GSλ≡R)e0$Tp!`A∂&#h)Uλ∃⊂* (dH&∪λU⊂@J	∀p+∩*2HbLE≤_b(4λ&∪⊂∃⊂"Tλ∀_%J	$_⊗∩J2`%⊗EDh!SλT0∀∪E∩HbLE≤_b(tx@U	xλ_M_S⊂∀`JH⊂_M0% A∪(4`"QEβλ∀O)l(→
0% A⊂i∃⊂!`Gλ⊂!P)D`@Q
¬H!S
,(→
80λDPh∀`& (E)Q*L(→
80λDQ)d bLE≤_b*5(!∀Iu(*∩)d(@PiE⊂!U*,(→
80λDPh∀`& )¬H"∀	t8∀
¬≤(→
80λDQ)d bLE≤_b*5(!∀Iu(*∩)d(@THD_*TXS⊂∀p`_H"SHL(∃
E"P∃
E"P∃
E"P∃
E- mu: εtαg@8@λαp` hip ]` 0`$n`A;@␈|λ⊂α F#λ@P.V8@L'∪@→`H(⊂≤NF3⊂a@nT $QEl_αβ'≤_←8λ∪8_@@p}Hλ_J0∀ )⊂*rp#
4 )∃eD`!TkXλ0[LHλ→
0∀ )⊂*rp#
4(≤eD`!TkX⊂∃ Gαh→%S@→`&βH≥FX⊂∃ Nελ3Y.8λ_Kε≤  8?@αLE≤_b(Tp"4 ⊂0bLE≤_b*5(!∀Iu(*∩)d(@Q
¬_"U_S⊂∀p`_H!SiTh'SP∩x)⊂eth!SλT0∀&β_
%DH)U¬β _εαH@KjD`↔RK¬ ⊗∩K∃ bLE≤_b(4λ&∪⊂∀ (⊗*4(*
ε∩`$TjB`~εβ∀q&"Ha@1∀_ S	Hλ*⊗*∧`'Pe∧P,∃¬DP,U¬≤(→
80λDQ)d bLE≤_b*5(!∀Iu(*∩)d(@ThU !U*"@%	2`&
8S⊂∀`JH⊂!`L(⊂!SiTh'SP∩x"∀¬tH)Q*H⊂∞ Eu⊂!KiT_&⊃(b@~εαH⊗∩*5 _K	∃_*XS⊂∀p`_H"∩)T('∀i∀x' )∩@~L¬≤(→
80λDQλ∃  `)DH&KfCH_xS⊂∀p`_H!P)D`@Q
¬H)Q*B@~	∩`~L¬≤(→
80λDPh∀`& )¬H"∀	t8∀
¬≤(→
80λDR*4(*∂)∃_*XS⊂∀p`_H%∀'TPbLE≤_b)5λ≡RxS⊂∀p`_H$QE∧P(KHu ↔∪	∀h∀RJ∪h&∩)\(→
80λDR(b@%∀%d`*ET`$S%∀P(O%T`$S8S⊂∀p`_H$QE∧X(KHu ↔∪	∀h∀Rj∪h&∩)\(→
80λDR(b@%T%d`*ET`$S%∀X(O%T`$S8S⊂∀p`_H%⊂'TP(K&#bLE≤_b)$⊂≡RJ∩X→_S⊂∀p`_H%P'TX(K&#bLE≤_b)4⊂≡Rj∩X→_S⊂∀`JH⊂!`L(⊂!P)D`@P)∃0"PjB@%⊂%DX J8S⊂∀`JH⊂!`L(⊂!P)D`@P*d(!U¬∧P!	4⊂∀q&"HA∃⊂$_A_P$_ S	Hλ R*d(!U¬∧P K	4⊂∀q&"HA∃⊂$_A_P$_ S	Hλ UHT_*
	$⊂⊗∩h∩HbLE≤_b(4λ&∪⊂∀λ&∩)d(∀∩H∩`%P%DP!	4⊂∀q&"Ha@1∀_ S	Hλ S	∀p"J	$λ⊗∩h"`%⊂EDX J8S⊂∀`JH⊂!Pp% A⊂h∀`& (E,SjU ∀
¬≤(→
80λDPh∀`& (E∀
¬≤(→
80λDQ)d bLE≤_b*5(!∀Iu(*∩)d(@Q
α@%
8S⊂∀p`_H!P)D`@Q
¬H'U*B@%
8S⊂∀`JH⊂!Pp% A⊂h∀`& (E,SjU ∀
%≤(→
0% A⊂p∃_'`*EH(⊃0∀x*U⊂∃8$S	Hλ T
∧( TXS⊂∀p`_H"∪p∪λ@RgSλ⊗
&(→
0% A0&⊂A⊂itp*∩)e("q&"Ha@1∀('⊃_S⊂∀p`_H)U(%⊂'U*DH'⊃0∃⊂"P(DH'
	$_⊗∩J2`%⊗EDX%J8S⊂∀p`_H!SiTh'SP∩x)⊂eth!SλT0∀&β_
%DH)U¬β _εαH@Khd`↔R(2`'1&"HA∃⊂$_$TH3λ→`CH⊂'TλTp∀∃)dH*∂&∩`#∩)D(≡RH2HbLE_⊂* F∪_A∃⊂$_ S	Hλ$QI∀`"`%βλ⊗∩H2HbLE_⊂* FX⊂1 Hdx)∪(∃ ∀&$H∀q&"Ha@1∀p≡L8S⊂∀`JH⊂!`)Dh≡S0∀0'TP∃⊂"P(Dh'TH\(→
80λDR(b@%Red((KDth∪J)ch&PiD(#
ε∩HbLE_⊂* H8λ#Q*Hλ+Sj$ @Piu('∃⊂∀x# *$()R(D('∃⊂∃$PjE()⊃:MXjt@hh∧xq⊂(a@A]_`A;@@lI\λαwλ␈x⊂  AF_λ ],xλ_N'β_A⊂P#H≥f,_↓](DH#X0 εN_0λ>p∩0p1λλa⎇⊂∪λ∀`(E⊂ Ued0~⊗hE⊂+K	D_)W0⊗λ7→⊂∪⊂∀`(E⊂ Ued0~⊗hS@→K	D_)W0"PA∞¬S⊂_K'β_@Lπ∪P→
0"PA≤⊗82\p∪λ⊗8@@p␈(→
80λDL$xλ#∂(dH&∪⊂% A∪F∪h$S(∀8"`*4H-⊃%Hλ'GSλ≡Qj$H" CH⊂⊗L'T "SλU "`)u0"TIDλ,IerHh@ l(→
0% A&βλA⊃P$0'TITλ*
∧xλ∃
E"P@R)hλ"∀H∃8@S)t "`%"P∃
DrxbLE≤_b&∩`∪`Gλ⊂!∂($λ!RjU⊗ *$(≡THT` U	∃0"`*d(!U	u⊂)K⊂∀λ!∂(∀⊂)SiE(*⊃0∃0"PjDx)∀drxbLE≤_b&∩`∪`Gλ⊂!O(4`'ThXλ*∩λXλ THTλA∞⊂#⊗⊂∀H)`(4('∃λU⊂@Shhλ)Pj$("SDrxbLE≤_b&∩`∪`Hh⊂ QJD() +α`,`(4x'THE_@V)u(@S(∃H@Q)e "TP∪λ⊗ &"`@Sj(λ→KDrxbLE≤_b&∩`∪`Hh⊂_O)%(&T⊂∩@$SJdH)R($`"`*d(!U	u⊂∀K⊂∪⊂≡RJTh( (∀p" *5  TJHλ#∩)D`∪KxS⊂∀p`_H_K∧x⊂# F3h%∃)U@P)d @TjDx( (dH&∪¬b8↔q&"Ha@1∪λ⊗	p∃ $⊃0∀0'S	Dx+R)d8@S)u0"`*D@"`)Dλ)U⊂∀('∃λU⊂"Q⊂∃'R)e ≥	e|(→
80λDL%B8A∞⊂$`'∂)Tx+⊃0∀`"QJHλ' *5 "T
8⊂# J$p≡S)u0"`*$H#R
Hλ' *5 "T
28↔q&"Ha@1∪λ⊗	p#@A∃)ch*T⊂∀p@TjD((∀p"PA⊃	ch"∪jtp@SP∃_*⊃*¬_Aπ⊂"@' )∃_@HJ5 $Pi5H⊃
$rx↔q&"Ha@1∪λ⊗	p∩P∃
E(λ$SP∀("∩*Hλ&ShD(@JE"P∃	e|(→
80λDL%B8A∞⊂$⊂≡PH∀_%U*α`@P'Tλ&∃λU⊂⊗ )∪h$SJ4()∃¬Hλ&`)cλ@SF#h&Sjd(@T	tH'∃
8λ'%Tp→	e|(→
80λDL%B8A∞⊂$P≡RJTh( *Dx@Q)d @Shhλ'⊃+¬ @R)e0$Ti∀⊂&⊃0∃0"PjDx)	e|(→
80λDL%B8A_P$H' (∀`*⊃*(λ'TP∀H'∀hU⊂* )Tx"⊃'"8↔q&"Ha@1∪λ⊗	p'pA∩GTP*S*α`@QGTP*S*λλ SHHλ)Uλ∃⊂* (dH&∪¬Hλ!O(4x'∃	∀p*Q%∧()⊂*4(@RJTh(
$rxbLE≤_b&∩`∪`Oh⊂)O)%(&T⊂∀λ'⊃⊂∃_*∪jλλ#∩)D`⊗ CH⊂'∂)dx⊗ +∪h,Q*2`@PGT⊂ Pi5((	erxbLE≤_b&∩`∪`*EH(⊃0∪`!TGhλ*∪p∀_'SJDH'∃(Rp∪Ke≤(→
0% A⊂p!`A∪F∪h→⊂∃ '`(4@ SHt(@Ti∧λ(⊃8S⊂∀`JH⊂→Lp% A∩(b@%∀edp"KID`&
(tx@U	xλ→N_S⊂∀p`_H'∂)EPbLE_⊂* H8⊂∞ HD(&∂(D(&⊃*D(@QJ$x&`(4x&PEhλ#∩)D(↔ E(⊂∀∩J3h&∪	BHbLE≤_b(tx@U	xλ→MXS⊂∀`JH⊂→N⊂% A∩hT ≡SXS⊂∀p`_H&S'Th!SλT0∀%≤(→
0% A⊂kλ⊂* I∀0∀∪)Rp'⊃%c∀Qixλ*∪p∪H→1&"HA∃⊂$_Aπ⊂$λ"⊃⊂∃ '`(E⊂ Ui∀p#OxS⊂∀`JH⊂!R*$_≤LP!`A⊂h∀`& (E,PiE⊂bLE_⊂* H3H→ Hh⊂!P)D`@R∀ (∪hr@_J8S⊂∀`JH⊂≤LP% A⊂h∀`& (E)Q*L(→
0% A⊂i∃⊂!`Gλ⊂!P)D`@THE⊂ Ueβ⊂⊗∪(4`"QEβλ∀K	T_&⊃(bHbJE"P∃
E"P∃
E"P∃
E"Ph(∃
E"P@QM⊗`2`&∩H@Q
$λ+KHc -Q
%8⊗∪λ5_.Kf∃↔Lfβλ&4αbL%≤_b&_⊂* Dxλ∃
E"P∃ *tλ)∪I∀p#`%Xλ&∩)TH*∂&3(_ %"P∃
E"P∪K¬|(_J80λDL0% A	p∩P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"8∀q&∩Ha@1∀('⊃_RP∃
E(λ#~-F(@LE_λ"∀H∃8↔⊃FEX"Nε2`&⊂j5h↔L*αx→Mεd`bLE≤_b&_⊂* Dxλ∃
E"P∃ *tλ)∪I∀p#`%Xλ&∩)TH*∂&∪_⊂∩P∃
E"P∃	eBxbLE≤_b&_⊂* Dxλ∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∪J8S⊂∀p`_H"SHL(→
80λDTjT⊂)∪jU $SHXλ"∀≤(→
80λDPith&Sihλ↔TH2x&PiD(#
ε∪_¬∩`$TjCλ⊗∩*5 →1&"HA∃⊂$_!Pp$0A⊂ith&Sihλ↔Q
αx$ThU Aπ⊂"x)⊂eth!SλT0∀
εβ∀K	∃_*%DH)Uε,(→
80λDPh∀`& *4(*∀	t8∀%≤(→
80λDPh∀`& (E∀%≤(→
0% A⊂h8⊂* I∃_"UπTH)Uε,(→
0% A⊂p∃_ UHXλ"∀_λ+Qλ4p*5≠=(i↓]λ→pλb \_↓β:<λαwλ↓Xλ∪8_⊂(n∨xp @H⊂→0∀λ:Yp∪λ≤Nε8⊂! G∪P→LX0_:Q	∀0↔0`@h≠p`↔h`$nb⊂≤_z &∩H@Q
$λ+KHc -Q
%8⊗∪λ5_.`,⊗p2 &"H@Q
$λ+KHc -Q'β_⊗∪λ5_.`E(⊂≤&#λ⊗Nε8λ_∞'#⊂~`E(⊂8_,v(9`&∩`_qλλa}S⊂∀p`_H#Sp∃ '`'∪λh@ l(→
0% A⊂f#≠ Gλ⊂)∀GU⊂)VXS⊂∀`JH⊂→εh⊂# I∀0$SπSbLE_⊂* H8λ_∂(4x'∩)e('U*8λ&∩)d(⊗ &∪h%∃)U⊗ &#h%∃)U⊗ *5  TJHλ#∩)D`⊗ &3h%∃)U⊗ (Tp" (dH&∪_S⊂∀p`_H"∪p∪⊂_
0∀P≡R(2`&PiD(#
ε∩HbLE≤_b(4λ&∪⊂∃('∀λ∀_%J	R`'	D`⊗∪(4`"QE∧P∀J8S⊂∀p`_H$QE∧`&HUλ↔Fβ_εβ_¬∀H#∩)Ch⊗L8S⊂∀`JH⊂!`*5  TJHλ#∩)D`bLE≤_b)∀0∀∪	Bp"T%c__εβ_εβ∀R(dH&∂&(→
0% A⊂p∀('⊃⊂∀0$S	L(→
80λDR(b@$QI∀`↔⊃*∩p_
(tx@U	xλ→ε\(→
80λDRi3h%Re3λbJE"P∃
E"P∃
E"P∃
E"Ph(∃
E"P@QM⊗`2`&∩H@Q
$λ+KHc -Q
%8⊗∪λ5_.Kf∃↔LFs_&4αbL%≤_b*∀0∀∩i2H≡J	RX)∩H"H∃∀J,(_J0% AFβ(A⊃P%⊂#
	4X∀O%∧p∃PhTp*∀E∩P)∀XSλ∀p`_H'⊃Eβλ∀O)4XbJE"P∃ (fH6→0∪⊂∀`(E⊂ Ued0~⊗hS@→K	D_)W%sλ(f#H_∪_S⊂∀`JH⊂!`*¬(* )tp&⊗0∩⊂#∩)D`⊃ *d(!U	u⊂)`)∀p*∪p∃λ# (∀p" *$0@P*%⊂ V*<(→
80λDT(b@%Re∪h∀∪%5⊂%⊂E∩P,∀k,(→
80λDTHb@%Re∪h∀∪E4_"SJE⊂∀JJ%_-1&"HA∃⊂#⊂_
0$0A⊂itp*∩)e("q&"Ha@1∀p#
ε∩H≡Ri<(∃
E"P∃
E"P∃
E"P∃
E-__RP∃
E(λ#~-F(@L%_λ"∀H∃8↔⊃FEX"∀Jr`&⊂j5h↔L*αx→
g∀`h∧(_J0% A
0&⊂A⊃Iu⊂&P*B@_LI∩HbL%_⊂* F∪_ E(⊂#∪j$h U¬α8@QgT8"U¬Hλ#S'T8"U⊂∀h'THR`@TgU_ UHR`@QπT )⊂*r`@S'Th'UHR`@TGU⊂'Uλ∃ "K∧rxbL%≤_b&∩8@Q'T("∩*B`A
P%≡T	Dx*⊂!`A∀HSh)⊃(∀ @Q(DH* (dH&⊃%H⊂∞ Jsh+TI∃ "`(T $U⊂∀0$SλR8↔q&∩Ha@1∪λ∪`)DH≡S	∃_* (4x'THDH'⊂*D()Ie|(_J80λDL%B8@QλT`≡QλT`"UλXλ$UλTh@QJ$x&`(dH&⊃%H⊂∞ Ish'UHU⊂&⊂+∩`Aπ⊂%P≡VHU⊂'`(E⊂ Ui∀p#Ier`bL%≤_b&∩8@QGT0$S	H⊂1 Icλ≡R)Tλ#Q0∃_$VHR`@SF#h_O(u⊂$Q⊂!`A&∪h"⊃)D(*⊃0∀x+⊃*$` V$rx∀q&∩HA∃⊂$_Aπ⊂$p_O&#@U	xλ!Rλ∀p#Q0∃_$⊂*∧(bL%_⊂* H4H)⊂g∪⊂Aπ⊂$_ S	Hλ"∀∀_&∀XSλ∀`JH⊂!N&(⊂# H4λ&∪⊂∀@,Q
∧x#Jε∩HbL%_⊂* G∪⊂A∃⊂$_ S	Hλ"∀∃_"U¬βλ⊗∩*5 ⊗
εβ_
8Sλ∀`JH⊂!R*$_A∞⊂$_ S	Hλ)⊃
$λ+Jε"`&PiD(#
ε∩H⊗∪(4`"QE≤(∃
E"P@QM⊗`2`&"H@Q
$λ+KHc -Q'β_⊗∪λ5_.Kf∃↔LG∪@&1&"HA∃⊂#λ_⊂"PA⊃Iu⊂&P*B@∪`(sh#Q*B`@QiSh#Q*Hλ&Sj$(⊗ *3h)P*d(⊗ (Ch"∀H∃8⊗ )Sh&Sjd(⊗ *#h)∪jDλ*⊃%B8↔q&"Ha@1∪λ∪`(Sh"Q	∃ ⊗ E(⊂(∂*∧`'U¬H⊂∞ J$(≡THTλ" (T $U⊂∀0$SλR`Aπ⊂%8≡Uj$H*⊃0∀("∩*Hλ#∩)D(∪KxS⊂∀p`_H_Ix0⊂_TISh)⊃(∀ @S)u⊂"Ie|(→
80λDL$xλ#TGTh RhXλ#TI∀ ⊗ CH⊂&∩'T`$TjHλ!Siu⊂"∩)dλ*⊃*2`Aπ⊂%λ≡THU"P*Hλ&⊂*5 @S)u0"Ie|(→
80λDL%B8@THTp≡THTp S(Xλ$UλTh@R)hλ&∩(%⊂ TK∩`Aπ⊂$x≡Sjd()∪λ∃H∪KxS⊂∀p`_H_K∧xλ'QπTh RhXλ'UHU⊂&⊂+_λ"∩*4λ(∀λTλ)⊂!`A∪j3h)Q(Xλ'UHU⊂&⊂+∩8↔q&"Ha@1∪λ⊗	p∀ "SπT "SλU "`)∃ "S0∀0)∪iXλ#∩)D(⊗ CH⊂-∂+$()∪p∀ )⊂*tH'⊃drx⊗5≠=(i↓]λ→pλb \_↓β:<λαwλ↓Xλ∪8_⊂(n∨xp @H⊂→0∀λ:Yp∪λ≤Nε8⊂! G∪P→LX0_:Q	∀0↔0`@h≠0`↔h`$nb⊂≤_z &∩H@Q
$λ+KHc -Q
%8⊗∪λ5_.`,⊗p2 &"H@Q
$λ+KHc -Q'β_⊗∪λ5_.`E(⊂≤&#λ⊗Nε8λ_∞'#⊂~`E(⊂8_,v(9`&∩`_qλa}RP∃
E(λ#~-F(@L%_λ"∀H∃8↔⊃FEX"∀Jr`&⊂j5h↔L*αx→εd`h@ l(_J0% A
p&⊂A∩(b@&Sj$(∀Qixλ*∪p∪8_1&∩Ha@1∀ '`&s8_`)3h→	$h⊗L8Sλ∀`JH⊂≠Mf_⊂# I∀0∀∪(4`"QE∧X∀KHt(↔Fβ_εβ_¬∀8'`*Dx@Mfs⊂bL%≤_b(tx@U	xλ≠L_Sλ∀`JH⊂!`*¬(*∀p∀0$S	D() *Dx@Q)d bL%_⊂* H8⊂∞ ITx+⊃*8λ'U*D`$SHXλ*T⊂∀0)∪ie bL%_⊂* Fs8→ Hh⊂&O)T_&⊃(b@_J8Sλ∀p`_H"∪p∪8≠Lp∀`≡ReDP&q&∩Ha@1∀h≡S%3λbL%_⊂* Fs8→`Hh⊂&PiD(#
	RH≡S(4`"QE∧`∀q&∩Ha@1∀X≡RIRh%q&∩HA∃⊂#λ≠MfH⊂≤ HDx@Mfs @SπTP&K	\(_J0% A
fs A⊃P$h!SλT0∀∪¬TX∀O)T_&⊃(b@&
8Sλ∀p`_H!P)D`@Q
¬H)Q*B@_K	∃_*εC_¬≤(_J80λDR*5 →∂&(_J80λDQixλ*∪p∪_bL%_⊂* FsA∃⊂$H#
	bp'⊃%d`(
(tx@U	xλ→q%"P∃
P∀04[Xλ→
0∀ )⊂*rp#
4(≤eD`!TkRx_T¬s⊂→)L(→
0% A
p&⊂A∩(b@&Sj$(↔∪
Bp_
(tx@U	xλ≠L_S⊂∀`JH⊂!V⊂% A⊃	xλ≠Mf_λ%O&"`%∪%SλbLE_⊂* H5@≠Mf_⊂∃ I∀0∀∪(4`"QE∧X∀KHt(↔Fβ_εβ_¬∀8'`*Dx@Mfs⊂bLE_⊂* H5@A∃⊂$8'`*Dx@Mf(→
0% A
fs⊂A⊃P$H#
	T_&⊃(b@%⊗E∩p&∃¬c⊂_εβ_εβ∀S(4`"QE∧P-
'Th!SλT0∀∩K"H∃LFβ_εβ__S⊂∀`JH⊂!`CH⊂)U	u@QI∀`&⊃*(λ'SP∀0$TJ5 @T	tH'∃⊂∃8$U	λλ∪QiR8@J
Tp&⊃*5_@U	xλ!⊃0∀0$S	D("
8S⊂∀`JH⊂≠L⊂% A∩(b@'Id(↔∪
αH#Sp∃ '`&<(∃
E"P∃
E"P∃
E"P∃
E-__RP∃
E(λ#~-F(@L%_λ"∀H∃8↔⊃FEX"∀Jr`&⊂j5h↔L*αx→
ε4`h∧(_J80λDQixλ*∪p∪ →MXSλ∀`JH⊂→Lgλ⊂# I∀_≡K&≤(∃
E"P@QM⊗`2`&"H@Q
$λ+KHc -Q'β_⊗∪λ5_.Kf∃↔LFC@&1&"HA∃⊂$_!TITλA
P$8'`*Dx@Mε30bLE≤_b(tx@U	xλ≤L8S⊂∀`JH⊂→Lgλ⊂# I∀_≡K&≤(∃
E"P∃
E"P∃
E"P∃
E-__RP∃
E(λ#~-F(@L%_λ"∀H∃8↔⊃FEX"∀Jr`&⊂j5h↔L*αx→
Fd`h∧(_J80λDQixλ*∪p∪ →MXSλ∀`JH⊂→εh⊂# J%⊂≡TJ5PbL%≤_b(Dx@LFβ(@RGTH!K	T_&⊃(b@_J8Sλ∀p`_H!P)D`@U)e Pi2@&K	b`&∪¬Dh!SλT0∀∩E∩HbL%≤_b)4X≡Ri2X_q%"P∃
P∀04[Xλ→
0∀ )⊂*rp#
4(≤eD`!TkRx_T¬s⊂≠M	L(→
0% A⊂h5⊂&P0"PA⊃ixλ*∪p∪ →MZMXjt@hh∧xq⊂(a@A]_`A;@@lI\λαwλ␈x⊂  AF_λ ],xλ_N'β_A⊂P#H≥f,_↓](DH#X0 εM80λ>p∩0p1λλa⎇⊂∪λ∀`(E⊂ Ued0~⊗hE⊂+K	D_)W0⊗λ7→⊂∪⊂∀`(E⊂ Ued0~⊗hS@→K	D_)W0"PA∞¬S⊂_K'β_@Lπ∪P→
0"PA≤⊗82\p∪λ⊗8@λp␈(∃
E"P@QM⊗`2`&∩H@Q
$λ+KHc -Q
%8⊗∪λ5_.Kf∃↔L&C0&4 ⊂0bL%_⊂* F30A∃⊂$_ S	Hλ!S($pbL%≤_b(tx@U	xλ≤L8Sλ∀`JH⊂→LP% A∩(b@%⊂ed((KID(↔∪j"p%⊂ed((KIDh∀Qixλ*∪p∪λ→1&∩HA∃⊂$_@THSh)⊃(∀ @Q(DH* (dH&⊃0∀0'TP∃0"PjDx)∀xSλ∀p`_H!P)D`@Q
¬H)Q*B@_K	∃_*εC_¬≤(_J80λDR*5 →∂&(_J80λDPh∀`& *4@$QJB@&PiD(#
ε"H⊗∪(4`"QEβλ∀K	bHbJE"P∃ (fH6→0∪⊂∀`(E⊂ Ued0~⊗hS@→K	D_)W%sλ(f∪ ≤S_S⊂∀`JH⊂→MP% A∩(b@%⊂edp"KIEP∀Qixλ*∪p∪λ→MXS⊂∀`JH⊂!`*5P≡Ti∧x+`(5()∀HTp* *4H-⊃0∀0 PjDx)1&"Ha@1∀X≡TJ5PbLE≤_b*EH(⊃0∪(~K	<(→
80λDQixλ*∪p∪H_q&"HA∃⊂#λ→MP$0A⊂h∀`& (4h!∪XS⊂∀p`_H#Sp∃ '`'∪λbLE_⊂* F3⊂A∃⊂$H#
	$_↔⊃*∩p&∀e∀8'`*Dx@Lg≤(→
80λDR(b@%⊂ed((KID(↔∪j"p%⊂ed((KIDh∀Qixλ*∪p∪λ→1&"HA∃⊂$_@THSh)⊃(∀ @Q(DH* (dH&⊃0∀0'TP∃0"PjDx)∀eHλ)∪'U⊂"P(Hλ&Sj$(⊗ *%_≡THU_*⊂*% @J
4λ&Q0∀λ)`+"HbLE≤_b(4λ&∪⊂∀ (∀hU bLE≤_b(4λ&∪⊂∃_$∩(e ∀∪(4`"QEβ⊂∀K	T_&⊃(b@_J%Dp∀q%"P∃
E"P∃
E"P∃
E"P∃4εbJE"P∃ (fH6→0∪λ∀`(E⊂ Ued0~⊗hE⊂+K	D_)W%sλ(f∪(≤∪~⊂1&∩HA∃⊂#__ JH⊂)⊃*$( Q⊂∪⊂≤L%Dp&K	dhbL%≤_b(4λ&∪⊂∀`'LJU∀∪IRHbJE"P∃ (fH6→0∪⊂∀`(E⊂ Ued0~⊗hS@→K	D_)W%sλ(f∪0≤∪_S⊂∀`JH⊂→L⊂% A∩(b@%⊂edp"KDu⊂∪J(tx@U	xλ→Lε(→
80λDQj$H"∂&≤(→
80λDPh∀`& (u⊂$Q
<(→
0% A⊂p!`A	hu⊂∪O(E⊂ Up∀8)∩(L(→
80λDQixλ*∪p∪H_q&"HA∃⊂#__⊂$0A∀HU⊂"P(Hλ→∞&∩`'∪%Dp&q&"Ha@1∀_ S	Hλ&∪f%((
	dh∀q%"P∃
E"P∃
E"P∃
E"P∃4εbJE"P∃ (fH6→0∪λ∀`(E⊂ Ued0~⊗hE⊂+K	D_)W%sλ(f∪H→S~⊂1&∩Ha@1∀H#
	∀_↔⊃jBp→M&αH*⊗*∧(@L&∪λ_1&∩HA∃⊂#0_ JH⊂%⊗GSλbJE"P∃ (fH6→0∪⊂∀`(E⊂ Ued0~⊗hS@→K	D_)W%sλ(f#≤∪_S⊂∀p`_H$QE∧H!KHu ↔&β_
*EH(⊃0∪λ_L&(→
0% A
Fλ⊂* I%P≡L8RP∃
E"P∃
E"P∃
E"P∃
ZMXjt@hh∧xq⊂(a@A]_`A;@@lI\λαwλ␈x⊂  AF_λ ],xλ_N'β_A⊂P#H≥f,_↓](DH#X0 εM_0λ>p∩0p1λλa⎇⊂∪λ∀`(E⊂ Ued0~⊗hE⊂+K	D_)W0⊗λ7→⊂∪⊂∀`(E⊂ Ued0~⊗hS@→K	D_)W0"PA∞¬S⊂_K'β_@Lπ∪P→
0"PA≤⊗82\p∪λ⊗8@@p␈(_J0% A⊂p∃⊂"P(Hλ$SP∀("∩*Hλ#∩)D(@Shhλ!Siu⊂"∀eh⊂∞ I2`@V¬Hλ,K⊂∃PA
P"@%`)∃_@Piu('∃⊂∀p*S("p∀t ⊂0bL%≤_b)ch'
f≤(_J80λDRK#h%⊗E#λ_εβ_εβbL%_⊂* H8λ%⊗GSλ≡R)e0$Tp!`A∂&#h)Uλ∃⊂* (dH&∪λU⊂@J	∀p+∩*2HbL%≤_b(4λ&∪⊂∃⊂"Tλ∀_%J	$_⊗∩J2`%⊗EDh!SλT0∀∪E∩HbL%≤_b(tx@U	xλ_M_Sλ∀`JH⊂_M0% A∪(4`"QEβλ∀O)l(_J0% A⊂i∃⊂!`Gλ⊂!P)D`@Q
¬H!S
,(_J80λDR*5 →∂&(_J80λDPh∀`& (E,ThU ∀%DH)U¬C _εαHbL%≤_b(tx@U	xλ→LfL(_J0% Af8⊂* I∀0∀∩J2p'⊃%d`&∪¬∀8'`*Dx@Lg(_J80λDSGT`-1&∩HA∃⊂$_Aπ⊂$ "SπT "SλU "`(e⊂'S0∀_'S("p@QI∀`"KP"PA
	%_≡S	D`∀q&∩Ha@1∀8'`*Dx@Lfl(_J0% Agλ⊂* I4("∂)l(_J80λDS)Sh&PiD(#
ε∩HbL%≤_b)∀0∀∪)Rp'⊃%c∀Qixλ*∪p∪H→1&∩HA∃⊂$_Aπ⊂$λ"⊃⊂∃ '`(E⊂ Ui∀p#OxSλ∀p`_H#Sp∃ '`&<(_J0% A⊂i∃⊂!M&h⊂∞ H4λ&∪⊂∀ (⊗*4(*
εC_ε"HbL%_⊂* FS0A∃⊂$_ S	Hλ(∪hs⊂bL%_⊂* H8λ$SI∃ $P)DH-⊃0∃ $⊃0∀x+⊃*$` V8RP∃
E(λ#~-F(@LE_λ"∀H∃8↔⊃FEX"Nε2`&⊂j5h↔L*αx_LFD`bLE_⊂* F∪_A∃⊂$_ S	Hλ)⊃(∀ $SE∧P!K	%_⊗∩K"`%Re≤(→
80λDQixλ*∪p∪_→M_S⊂∀`JH⊂!R*$_~MP!`A⊂h∀`& (E,ThU ∀
εβ⊗E≤(→
0% A⊂h5⊂&P&S0@Ph∀`& *∧x#LXS⊂∀`JH⊂!`)∀p$U	∀λ&∩+$(@U	∧(@Sjd()∪λ∃HbJE"P∃
E"P∃
E"P∃
E"Ph(∃
E"P@QM⊗`2`&∩H@Q
$λ+KHc -Q
%8⊗∪λ5_.Kf∃↔L&Cλ&4αbL%≤_b(4λ&∪⊂∃⊂"∀H∃8∀eC⊂⊗∪(4`"QEβλ∀K	T_&⊃(bHbL%_⊂* H4H)⊂p#@A∩)u0≡L8RP∃
E(λ#~-F(@LE_λ"∀H∃8↔⊃FEX"Nε2`&⊂j5h↔L*αx_LfD`bLE_⊂* FS0A∃⊂$H#
	$_↔∪HRp&⊃¬∀8'`*Dx@LFS0bLE≤_b(4λ&∪⊂∀@,Q
∧x#Jε2HbLE≤_b(tx@U	xλ≤L8S⊂∀`JH⊂!`)sh'UHU⊂&⊂+∩`@ShCh'UHU⊂&⊂+_λ"∩*4λ(∀λTλ)∀eHλ'TgU_"Q0∀x+⊃*$` V8S⊂∀`JH⊂→
&h⊂# I∀0∀∩H2p'⊃%d`)J(tx@U	xλ_M&l(→
0% AFS8A⊃P$_ S	Hλ"∀∀x*U¬β_∀q&"Ha@1∀8'`*Dx@N&≤(→
0% A&S0A⊃P$_ S	Hλ"∀∃_"U¬β_⊗⊃j$ ⊗
εβ∀q&"Ha@1∀_ S	Hλ)⊃
$λ+Jε2`→	T_&⊃(b@_J%Dh!SλT0∀q&"Ha@1∀_ S	Hλ"∀∀x*U¬β_∀q&"HA∃⊂$_$TH8⊂≤ I∀x+∂&≤(∃
E"P∃
E"P∃
E"P∃
E- mu: εtαg@8@λαp` hip ]` 0`$n`A;@␈|λ⊂α F#λ@P.V8@L'∪@→`H(⊂≤NF3⊂a@nT $QEl_αβ&<_←8λ∪8_@@p}Hλ_J0∀ )⊂*rp#
4 )∃eD`!TkXλ0[LHλ→
0∀ )⊂*rp#
4(≤eD`!TkX⊂∃ Gαh→%S@→`&βH≥FX⊂∃ Nελ3Y.8λ_Kε≤ @8?@αJE"P∃ (fH6→0∪λ∀`(E⊂ Ued0~⊗hE⊂+K	D_)W%sλ(fs&4 ⊂0bL%_⊂* FSλA∃⊂$H#

%_-HUλ↔¬∃⊂)VGU@)VXSλ∀`JH⊂!`CH⊂*∪p∃_ UHXλ)R+$(@QH∀_*∪j(λ+RλTp@THT )⊂*tH'⊃el(∃
E"P@QM⊗`2`&"H@Q
$λ+KHc -Q'β_⊗∪λ5_.Kf∃↔Mg∀`bLE_⊂* FSλA∃⊂$H#

%_-HUλ↔¬∃⊂)VGUλ)VXS⊂∀`JH⊂!`CH⊂*∪p∃_ UHXλ)R+$(@QH∀_*∪j(λ+RλTp@THT )⊂*tH'⊃el(∃
E"P∃
E"P∃
E"P∃
E-__RP∃
E(λ#~-F(@L%_λ"∀H∃8↔⊃FEX"∀Jr`&⊂j5h↔L*αx≠MIMλ_Sλ∀p`_H$QE¬⊂)VEd((KFαH)∀k#h≤KF(_J80λDR(b@#TI∀ ↔∪HRp_H∀p"Ibp'⊃%d`(
(4λ&∪⊂∀8)∩(E_bJE"P∃ (fH6→0∪⊂∀`(E⊂ Ued0~⊗hS@→K	D_)W%sλ(gβ(&1&"Ha@1∀H#

%_-HUλ↔¬∃⊂)VGS(↔_S⊂∀`JH⊂!`L(⊂,∀k#h)∀k"P~'αp↔M'β↔1&"Ha@1∃@)VGU⊂)VXS⊂∀p`_H$QE∧8)∩(Bp'⊃%c↔⊂)d ↔∪Edp"KIE∀Ph∀`& (u⊂$Q
<(∃
E"P∃
E"P∃
E"P∃
E-__RP∃
E(λ#~-F(@L%_λ"∀H∃8↔⊃FEX"∀Jr`&⊂j5h↔L*αx≤∞)Mλ_Sλ∀`JH⊂_MP% A∃∃"`&∪_1&∩HA∃⊂$_@Ii∧(&∀∧|(_J80λDQixλ*∪p∪H_q%"P∃
P∀04[Xλ→
0∀ )⊂*rp#
4(≤eD`!TkRx_T¬sλ_	L(→
0% A&h⊂* H4λ&∪⊂∀ (⊗(4`)1&"Ha@1∀_ S	Hλ*⊗*∧`'Peβ_→¬Bh→LFαHbLE≤_b*EH(⊃0∪λ__S⊂∀`JH⊂!`$t@"S
α8bLE≤_b*EH(⊃0∪λ_8S⊂∀p`_H Ph4((∃⊂∪(_	∀p(1&"Ha@1∀_ S	Hλ*⊗*∧`'Pe∧P,∃¬DP,U¬≤(→
80λDPh∀`& (E∀%≤(→
0% A⊂h8⊂* H4λ&∪⊂∀ (⊗)u(*
ε∩HbLE≤_b(tx@U	xλ≤L8RP∃
E"P∃
E"P∃
E"P∃
Z01%"P∃
P∀04[Xλ_J0∀ )⊂*rp#
4 )∃eD`!TkRx_T¬sλ_
IMλ_Sλ∀`JH⊂!R*$__Lp!`A∪j∧('

Tp$UπSλ⊗⊃I∀`"O)$_∀q&∩HA∃⊂#λ→`JH⊂!P)D`@R(dH&⊃0∩@_K	$_∀q&∩Ha@1∀p≡L8Sλ∀`JH⊂!`)Dh≡S0∀0'TP∃⊂"P(Dh'TH\(_J80λDR(b@%Red((KIDh∀SGTh!SλT0∀%≤(_J0% A⊂p∀8"U⊂∃8'THHλ!SjTp* )t0@THU_$QλTp* *∧H!U
U⊂"q&∩HA∃⊂#λ~ JH⊂)⊃(∀ ∀%C(⊗⊃)d ≡L&RH%K	$_⊗∩J2`%⊗ZMXjt@hh∧xq⊂(a@A]_`A;@@lI\λαwλ␈x⊂  AF_λ ],xλ_N'β_A⊂P#H≥f,_↓](DH#X0 εLX0λ>p∩0p1λλa⎇⊂∪λ∀`(E⊂ Ued0~⊗hE⊂+K	D_)W0⊗λ7→⊂∪⊂∀`(E⊂ Ued0~⊗hS@→K	D_)W0"PA∞¬S⊂_K'β_@Lπ∪P→
0"PA≤⊗82\p∪λ⊗8@@p␈(→
80λDPith&Sihλ↔TH2x&PiD(#
ε∪_¬∩`$TjB@~εβ∀t ⊂0bLE≤_b&_λ↔Qj$H"hu⊂$Q⊂∩x*∪¬tP,∃¬DP,U_S⊂∀`JH⊂!R*$_A∞⊂#λ@KhE,Kid (	∀x+λu⊂$Q_S⊂∀`JH⊂!`L(⊂'⊃
βh!∃(d0"TP∀p*S0∀0'TP∀x*U
¬(*⊂∀H'UGT⊂*QHd() )e(&`(dx) )∀p(∃*L(→
80λDPith&Sihλ↔Qj$ ↔Qj$ ∀&β_
8S⊂∀p`_H"∩)T('∀i∀x' )%_*
ε∪~L¬∩`$SJα@≠LE∩`+
ε3∀K	$ (
ε2HbLE≤_b(4x&S)tp↔VIbx)PiD(#
ε"`_Lεβ∀KλD " %t("i4("	d(,∃¬Dp'	e@⊗∪K∩`%1&"Ha@1∀_'S)Tx' +¬@∀&β∀Kλr@_LεαH⊗∪I"`(QEβ(_LE∩`)⊃Eβ(_LE∩`)Jε∪_
%DXbLE≤_b(4x&S)tp↔SHd0↔SHb@~L&2H@KiD`↔S	Hλ↔TK"x)∀k"`)∩H"`!Q)e )¬_-1&"HA∃⊂$_$TH8⊂≤ H4x&S)tp↔SλU )KiD(*∀eβλ~
0!`Ahd`↔R(2`'	eλ⊗∀K,(∃
E"P∃
E"P∃
E"P∃
E-__RP∃
E(λ#~-F(@L%_λ"∀H∃8↔⊃FEX"∀Jr`&⊂j5h↔L*αx→M)Mλ_Sλ∀p`_H_Iir8⊗	iB8⊗	jr8⊗	iα8⊗	j∩8↔K⊂∀H)R+$(↔LFβ_eHλ)∩H"x⊗LFαp↔Kλ4('∃
"x⊗LFbp↔q&∩Ha@1∀((U)∃0 SλTp!Q0∩@&S%E_!SλT0∀%Cλ∀J%B@+EE0∀E∩H⊗

c_⊗∃Eβ_∀J%B@'	∀p(
%L(∃
E"P@QM⊗`2`&"H@Q
$λ+KHc -Q'β_⊗∪λ5_.Kf∃↔Lg∧`bLE≤_b&∩8'IeB8&	eB8+IeB8$	eB8(Ier`@R*4H-⊃%s⊂_εαx⊗ *$P!fαp↔Kλ4('∃
"x_E|(→
0% A⊂h5⊂&P0"PA$tx∪K∧t`∪K∧u8∪K∧t@∪K∧uλ∪KeHλ$Ti∃P"Kf#_¬r`@TI$⊂↔K&#↔eD_"SJE⊂↔K�↔xS⊂∀p`_H"T*TH+⊂)D('⊂hXλ∀∪)R`)PiD(#
ε∩`_J%∩`∀∃F"`+
ε"H∀K¬¬0→K
b@→J%∩`∀∪EDH'∀¬∩`bJE"P∃
E"P∃
E"P∃
E"Ph(∃
E"P@QM⊗`2`&∩H@Q
$λ+KHc -Q
%8⊗∪λ5_.Kf∃↔M&$`h∧(_J80λDPh∀`& )¬H"∀	t8∀%≤(_J0% A⊂p!`A∩(hλ SP∀x+⊃*$` V0∀@ Tp∀⊂"Q)hλ)Q*E(( )∃ @Ti∧x*SλHλ)U	∀`& (DH)T	Dλ,`(∀0*⊃*(λ"∀∀_&∀El(∃
E"P@QM⊗`2`&"H@Q
$λ+KHc -Q'β_⊗∪λ5_.Kf∃↔M&d`bLE≤_b(4λ&∪⊂∀ (⊗*4(*
εR`%⊃
α`→J8S⊂∀p`_H!P)D`@R∀ (∪hr@_J8S⊂∀p`_H%⊗
Ch⊗LF#bLE≤_b)%H*∂%S ≤_S⊂∀`JH⊂→N&3HA∞⊂$_ S	Hλ*⊗*∧`'Pe∧P,∃¬DP,U¬≤(→
0% A⊂p!`A∩(hλ SP∀x+⊃*$` V0∀@ Tp∀⊂"Q)hλ)Q*E(( )∃ @Ti∧x*SλHλ)U	∀`& (DH)T	Dλ,`(∀0*⊃*(λ"∀∀_&∀El(∃
E"P∃
E"P∃
E"P∃
E-__RP∃
E(λ#~-F(@L%_λ"∀H∃8↔⊃FEX"∀Jr`&⊂j5h↔L*αx≠IMλ_Sλ∀`JH⊂~M0% A⊃Iu⊂&P*B@$Kε$0∀q&∩HA∃⊂#(_ JH⊂#∪j$h U¬β8→⊂&∩HbL%_⊂* FS_ Hh⊂,∀k#h)∀k,(_J80λDP(4_"T
Hλ~L¬DH'∀_RP∃
E(λ#~-F(@LE_λ"∀H∃8↔⊃FEX"Nε2`&⊂j5h↔L*αx≠L	L(→
80λDPh∀`& (E,q&"HA∃⊂#(~`JH⊂#∪j$h U¬∧H⊗HbHbLE_⊂* FSA∃⊂$0'TITλ*
εs⊂ L%≤(→
0% A
&βA⊃P%λ)VGU⊂)VXS⊂∀p`_H Ph4((∃⊂∪(_	∀p(1%"P∃
E"P∃
E"P∃
E"P∃5≠=(i↓]λ→pλb \_↓β:<λαwλ↓Xλ∪8_⊂(n∨xp @H⊂→0∀λ:Yp∪λ≤Nε8⊂! G∪P→LX0_:Q	∀0↔0`@h_p`↔h`$nb⊂≤_z &∩H@Q
$λ+KHc -Q
%8⊗∪λ5_.`,⊗p2 &"H@Q
$λ+KHc -Q'β_⊗∪λ5_.`E(⊂≤&#λ⊗Nε8λ_∞'#⊂~`E(⊂8_,v(9`&∩`_qλλa}RP∃
E(λ#~-F(@L%_λ"∀H∃8↔⊃FEX"∀Jr`&⊂j5h↔L*αx_S~⊂λβ1&∩HA∃⊂$_∃
E"P∃ (dx&∪	u8$SHxλ$Tp∀0$SλXλ∪Q
$λ+KH4h"	p∩P∃
E"P∃
E"P∃1&∩HA∃⊂$_∃
E(⊂≤ HE⊂ Uk4 )∃eD`!TkR`&Tj4H'ViU_⊗∪λ5_.Kλ4⊂-Q
%8⊗∪λ5_.q&∩HA∃⊂$_∃
E(⊂≤ ED )⊂*u_&VhE⊂+K	D_)W%D (⊗)∃ -Q
%8⊗∪λ5_.KλE⊂"Q	∃ -Q
%8⊗∪λ5_.KλdH&∪λU⊂-Q
%8⊗∪λ5_.q&∩HA∃⊂$_∃
E(⊂≤ ED_*TJ4x)⊗iU_)K	D_)W%E_*PJ4`&VhE⊂+K	D_)W8Sλ∀`JH⊂!`CH⊂∪Qdxλ'TP∪`!TGhλ≡`(t(*P!`A	h∩8≡P(D @U	xλ!SiT⊂$SHT @QI∀`"KXRP∃
E(λ#~-F(@LE_λ"∀H∃8↔⊃FEX"Nε2`&⊂j5h↔L*αx_S_S⊂∀`JH⊂!`CH⊂*∪p∀ '`%"P∃
E"P@ShB`@Sj2`@TJ2`@Tk"@)Q(Xλ)R+$(@QH∀_*∪j"HbLE_⊂* H2P∃
E"P@QIt`&∪jtH'⊃p∀H)`(dH&⊃0∩8"∀H∃8↔⊂iT ∪`%"P∃
E"P∃
E"PbLE_⊂* H2P∃
P#@A⊃
$λ+VhE⊂+K	D_)W%Dh)Ti∀x-S*2`&⊂j5h⊗⊃
$λ+R*EX"∀Jr`&⊂j5hbLE_⊂* H2P∃
P#@AλE,R*EX"∀Jr`&⊂j5h⊗⊃
$("∩*EX"∀Jr`&⊂j5h⊗⊃I∀`&⊃*%X"∀Jr`&⊂j5hbLE_⊂* H2P∃
P#@A
5(!∀iDh-Q
%8⊗∪λ5_.q&"HA∃⊂$_Aπ⊂"8#Ip∀x) 'D_)∂P∪h@QhU ↔ CH⊂∪P$sh QλHλ*∪p∀_'S($H'⊃(Hλ#∩)D(↔1%"P∃
E"P∃
E"P∃
E"P∃4εbJE"P∃ (fH6→0∪λ∀`(E⊂ Ued0~⊗hE⊂+K	D_)W%sλ(f∪&4αbL%_⊂* H8λ)R)d8&⊃0∀H*⊃)Xλ$Tp∃⊂"TjE⊂$PjD(" *Dx@LfS@UhE_↔ &∪@R*D(&Tp∀x) &3(_ *t )`*∧() (dH&⊃%l(_J0% A⊂p!`A	ir8@S(∀X"Tp∀_*TJ$('∃⊂∀ (⊗0∀H'∃	xλ'UHU⊂&⊂+∩pbJE"P∃ (fH6→0∪⊂∀`(E⊂ Ued0~⊗hS@→K	D_)W%sλ(f∪λ&1&"HA∃⊂$_@Ti∀p#SλXλ$UλTh@R*8λ)⊃*5 )∩(5 "Q⊂∃ '`&∪_⊂∃8"∀ehλ_L⊂∀H*⊃)U_@Sj(λ_Lεβ@UhE_@TλU⊂@QI∀`"KXS⊂∀`JH⊂!`CH⊂∪Sdxλ&P)4()`(5()∀HTp* (E,`)∀p*∪p∀x+⊃*$` V%l(∃
E"P∃
E"P∃
E"P∃
E-__RP∃
E(λ#~-F(@L%_λ"∀H∃8↔⊃FEX"∀Jr`&⊂j5h↔L*αx_MIMλ_Sλ∀`JH⊂!`E(⊂!⊂hD(≡U	∧(@V⊂∀_'Sj$ $SH∃ "K⊂∀⊂≡LπU'Ti∃ $UHR`@PGSλ≡SHT8↔ %¬ $⊃0∃⊂ SHt(@R*8λ∃`)u⊂@K0∪H≤N%≤(∃
E"P@QM⊗`2`&"H@Q
$λ+KHc -Q'β_⊗∪λ5_.Kf∃↔L&t`bLE_⊂* H8⊂∃ H∪h→O)∀p+∩*2p@P)d @Q)d @QI∀`&⊃(Hλ THTλ↔1&"HA∃⊂$_A
P$⊂!QλSh*∩λXλ, (4x'THDH'⊂*D(⊗ (#h_∂*∧x)R*DH+⊃%Hλ!∂&∪h'⊃(rp@J
D@"`*$λ'⊃hXλ$Tp∩X@Sj(λ⊗`'∪H≤J8RP∃
E"P∃
E"P∃
E"P∃
Z01%"P∃
P∀04[Xλ_J0∀ )⊂*rp#
4 )∃eD`!TkRx_T¬s⊂_∪~⊂1&∩Ha@1∀_'S)Tx' %u_ UEtP!SλT0∀&αH⊗∩h4`"QEβλ_
%Dp&S
5 ∀&αH@Ki∀p!TEtH'⊂j,(_J0% A⊂i∃⊂!`Gλ⊂!SiTh'SP∩x)⊂eth!SλT0∀
εβ∀q&∩Ha@1∀_'S)Tx' %u⊂!KiT_&⊃(b@~εαH⊗∩*5 ∀
εβ_
8Sλ∀p`_H_`%t8)∩(Bx#TI∀ bL%_⊂* H4H)⊂p#@A0∩x"∀∩x'⊃
α`$Sjb`#TI∀ bL%_⊂* H8⊂1 Id (∂(%(#⊃HU⊂@SJTh@QIu⊂@SjU (∃*B`@R)u0≡PJT0#⊃*(λ'∃)Xλ#∪j(λ$SJ¬(*1&∩Ha@1∀ $S(Tp)R)tp@RJ5 ∀
εS∀K	∀p(
εs⊂∀K
b@→L¬≤(_J80λDPith&Sibx-∪Eu_!SλT0∀EC _¬∩`"⊃λHλ↔Q(Bx%Q(B`'⊃+¬ ⊗∪Ib`'⊗¬Dp,K	,(_J80λDPith&Sihλ,⊗¬βλ_¬∩`#Jε∪_
%Dp%
∀0∀
&∪⊂∀K
$0∀
&∪⊂∀K
2@_LεαH⊗∩xSλ∀p`_H!SiTh'SEtp#⊃Etp#
εSλ→J0∩x&∪¬t`& %u⊂-j%_-
$P!λ4('∃
,(_J0% A⊂i∃⊂!`Gλ⊂!SiTh'SEt`"U
2x&⊃*E_∀&BHAπ⊂"x#∪¬tH!K	b`'∀%E⊂-1%"P∃
P∀04[Xλ→
0∀ )⊂*rp#
4(≤eD`!TkRx_T¬s⊂→∪_S⊂∀p`_H!SiTh'SP∩x)P*bx%⊂iD(#
ε∪∀K	4_&⊃(b@_L¬∩`'∪)E_*
ε∪∀`%tH'⊂etH'⊂xS⊂∀`JH⊂!R*$_A∞⊂$_'S)Tx' %u⊂!KiT_&⊃(b@~εαHj6␈p